include protocol managedProtocol;

// sanity check of managed/manager protocols

protocol managerProtocol {
    manages managedProtocol;

parent:
    managedProtocol(int i);

state CREATING:
    recv managedProtocol goto CREATING;
};
